Deprettere, “A trace transformation technique for communication refinement

Models of computation like Kahn and dataflow process networks provide convenient means for modeling signal processing applica-tions. This is partly due to the abstract primitives that these models offer for communication between concurrent processes. However, when mapping an application model onto an architecture, these primitives need to be mapped onto architecture level communica-tion primitives. We present a trace transformation technique that supports a system architect in performing this communication re-finement. We discuss the implementation of this technique in a tool for architecture exploration named SPADE and present examples. 1